Knihy od autora Zhiming Liu

Zobrazeno 1 – 20 z 20 výsledků

1. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1155 Kč

   Koupit
3. 

   Foundations of Health Informatics Engineering and Systems

   Zhiming Liu, Alan Wassyng | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1368 Kč

   Koupit
4. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Theoretical Aspects of Computing -- ICTAC 2013

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Theoretical Aspects of Computing - ICTAC 2007

   Cliff B. Jones, Zhiming Liu, Jones Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
7. 

   Unifying Theories of Programming and Formal Engineering Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
8. 

   Formal Methods and Software Engineering

   Zhiming Liu, Jifeng He | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
9. 

   Formal Aspects of Component Software

   Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
10. 

    Automated Technology for Verification and Analysis

    Zhiming Liu, Anders P. Ravn | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
11. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
12. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu | Springer, Berlin, 2025

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1155 Kč

    Koupit
13. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1338 Kč

    Koupit
14. 

    Theoretical Aspects of Computing - ICTAC 2022

    Helmut Seidl, Zhiming Liu, Corina S Pasareanu | Springer, Berlin, 2022

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
15. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2020

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1155 Kč

    Koupit
16. 

    Dependable Software Engineering: Theories, Tools, and Applications

    Xuandong Li, Zhiming Liu, Wang Yi | Springer International Publishing AG, 2015

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1135 Kč

    Koupit
17. 

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1352 Kč

    Koupit
18. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
19. 

    Theoretical Aspects of Computing - ICTAC 2004

    Zhiming Liu, Keijiro Araki | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit
20. 

    Environmental Catalysis and Air Pollution Control

    Zhiming Liu, Chi He | MDPI AG, 2025

    
    

    Skladem u dodavatele - Odesíláme za 9-15 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1422 Kč

    Koupit

Knihy vám rádi za malý poplatek dárkově zabalíme. Zjistěte více